3.2366 \(\int (1+x)^3 \sqrt {2+2 x+x^2} \, dx\)

Optimal. Leaf size=38 \[ \frac {1}{5} (x+1)^2 \left (x^2+2 x+2\right )^{3/2}-\frac {2}{15} \left (x^2+2 x+2\right )^{3/2} \]

[Out]

-2/15*(x^2+2*x+2)^(3/2)+1/5*(1+x)^2*(x^2+2*x+2)^(3/2)

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 38, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {692, 629} \[ \frac {1}{5} (x+1)^2 \left (x^2+2 x+2\right )^{3/2}-\frac {2}{15} \left (x^2+2 x+2\right )^{3/2} \]

Antiderivative was successfully verified.

[In]

Int[(1 + x)^3*Sqrt[2 + 2*x + x^2],x]

[Out]

(-2*(2 + 2*x + x^2)^(3/2))/15 + ((1 + x)^2*(2 + 2*x + x^2)^(3/2))/5

Rule 629

Int[((d_) + (e_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Simp[(d*(a + b*x + c*x^2)^(p +
1))/(b*(p + 1)), x] /; FreeQ[{a, b, c, d, e, p}, x] && EqQ[2*c*d - b*e, 0] && NeQ[p, -1]

Rule 692

Int[((d_) + (e_.)*(x_))^(m_)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Simp[(2*d*(d + e*x)^(m -
1)*(a + b*x + c*x^2)^(p + 1))/(b*(m + 2*p + 1)), x] + Dist[(d^2*(m - 1)*(b^2 - 4*a*c))/(b^2*(m + 2*p + 1)), In
t[(d + e*x)^(m - 2)*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e, p}, x] && NeQ[b^2 - 4*a*c, 0] && EqQ[
2*c*d - b*e, 0] && NeQ[m + 2*p + 3, 0] && GtQ[m, 1] && NeQ[m + 2*p + 1, 0] && (IntegerQ[2*p] || (IntegerQ[m] &
& RationalQ[p]) || OddQ[m])

Rubi steps

\begin {align*} \int (1+x)^3 \sqrt {2+2 x+x^2} \, dx &=\frac {1}{5} (1+x)^2 \left (2+2 x+x^2\right )^{3/2}-\frac {2}{5} \int (1+x) \sqrt {2+2 x+x^2} \, dx\\ &=-\frac {2}{15} \left (2+2 x+x^2\right )^{3/2}+\frac {1}{5} (1+x)^2 \left (2+2 x+x^2\right )^{3/2}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 26, normalized size = 0.68 \[ \frac {1}{15} \left (x^2+2 x+2\right )^{3/2} \left (3 x^2+6 x+1\right ) \]

Antiderivative was successfully verified.

[In]

Integrate[(1 + x)^3*Sqrt[2 + 2*x + x^2],x]

[Out]

((2 + 2*x + x^2)^(3/2)*(1 + 6*x + 3*x^2))/15

________________________________________________________________________________________

fricas [A]  time = 0.82, size = 32, normalized size = 0.84 \[ \frac {1}{15} \, {\left (3 \, x^{4} + 12 \, x^{3} + 19 \, x^{2} + 14 \, x + 2\right )} \sqrt {x^{2} + 2 \, x + 2} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+x)^3*(x^2+2*x+2)^(1/2),x, algorithm="fricas")

[Out]

1/15*(3*x^4 + 12*x^3 + 19*x^2 + 14*x + 2)*sqrt(x^2 + 2*x + 2)

________________________________________________________________________________________

giac [A]  time = 0.21, size = 25, normalized size = 0.66 \[ \frac {1}{5} \, {\left (x^{2} + 2 \, x + 2\right )}^{\frac {5}{2}} - \frac {1}{3} \, {\left (x^{2} + 2 \, x + 2\right )}^{\frac {3}{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+x)^3*(x^2+2*x+2)^(1/2),x, algorithm="giac")

[Out]

1/5*(x^2 + 2*x + 2)^(5/2) - 1/3*(x^2 + 2*x + 2)^(3/2)

________________________________________________________________________________________

maple [A]  time = 0.05, size = 23, normalized size = 0.61 \[ \frac {\left (x^{2}+2 x +2\right )^{\frac {3}{2}} \left (3 x^{2}+6 x +1\right )}{15} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x+1)^3*(x^2+2*x+2)^(1/2),x)

[Out]

1/15*(x^2+2*x+2)^(3/2)*(3*x^2+6*x+1)

________________________________________________________________________________________

maxima [A]  time = 1.86, size = 41, normalized size = 1.08 \[ \frac {1}{5} \, {\left (x^{2} + 2 \, x + 2\right )}^{\frac {3}{2}} x^{2} + \frac {2}{5} \, {\left (x^{2} + 2 \, x + 2\right )}^{\frac {3}{2}} x + \frac {1}{15} \, {\left (x^{2} + 2 \, x + 2\right )}^{\frac {3}{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+x)^3*(x^2+2*x+2)^(1/2),x, algorithm="maxima")

[Out]

1/5*(x^2 + 2*x + 2)^(3/2)*x^2 + 2/5*(x^2 + 2*x + 2)^(3/2)*x + 1/15*(x^2 + 2*x + 2)^(3/2)

________________________________________________________________________________________

mupad [B]  time = 1.06, size = 22, normalized size = 0.58 \[ \frac {{\left (x^2+2\,x+2\right )}^{3/2}\,\left (3\,x^2+6\,x+1\right )}{15} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x + 1)^3*(2*x + x^2 + 2)^(1/2),x)

[Out]

((2*x + x^2 + 2)^(3/2)*(6*x + 3*x^2 + 1))/15

________________________________________________________________________________________

sympy [B]  time = 0.28, size = 85, normalized size = 2.24 \[ \frac {x^{4} \sqrt {x^{2} + 2 x + 2}}{5} + \frac {4 x^{3} \sqrt {x^{2} + 2 x + 2}}{5} + \frac {19 x^{2} \sqrt {x^{2} + 2 x + 2}}{15} + \frac {14 x \sqrt {x^{2} + 2 x + 2}}{15} + \frac {2 \sqrt {x^{2} + 2 x + 2}}{15} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1+x)**3*(x**2+2*x+2)**(1/2),x)

[Out]

x**4*sqrt(x**2 + 2*x + 2)/5 + 4*x**3*sqrt(x**2 + 2*x + 2)/5 + 19*x**2*sqrt(x**2 + 2*x + 2)/15 + 14*x*sqrt(x**2
+ 2*x + 2)/15 + 2*sqrt(x**2 + 2*x + 2)/15

________________________________________________________________________________________